These are txt files: just add a .txt extension to change them. 